axiomatic semantics การใช้

The mathematical techniques used include denotational semantics, axiomatic semantics, operational semantics, and abstract interpretation.
Axiomatic semantics define the meaning of a command in a program by describing its effect on assertions about the program state.
Examples of mathematical objects often used to model systems are : finite state machines, labelled transition systems, Petri nets, vector addition systems, timed automata, hybrid automata, process algebra, formal semantics of programming languages such as operational semantics, denotational semantics, axiomatic semantics and Hoare logic.
What is meant by " behavior " varies by author, with the two main types of formal specifications for behavior being " axiomatic ( algebraic ) specification " and an " abstract model; " these correspond to axiomatic semantics and operational semantics of an abstract machine, respectively.